Algebraic Domains of Natural Transformations
نویسندگان
چکیده
Motivated by the semantics of polymorphic programming languages and typed -calculi, by formal methods in functor category semantics, and by well-known categorical and domaintheoretical constructs, we study domains of natural transformations F : !G of functors F;G: ! C with a small category as source and a cartesian closed category of Scottdomains C as target. We put constraints on the image arrows of the functors to obtain that F : !G is an object in C. Inf-faithful domains F : !G allow that in ma in F : !G can be computed in each component [FA ! GA] separately. If F;G: ! SCOTT are two functors such that for all f in mor( ) the maps F (f) preserve nite elements and G(f) preserve all non-empty in ma, then F : !G is inf-faithful, and all inf-faithful domains are Scott-domains. Familiar notions like `inverse limits', `small products', and `strict function spaces' are special instances of functors that meet the conditions above. We extend these results to retracts of Scott-domains.
منابع مشابه
On descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کامل$omega$-Operads of coendomorphisms and fractal $omega$-operads for higher structures
In this article we introduce the notion of textit{Fractal $omega$-operad} emerging from a natural $omega$-operad associated to any coglobular object in the category of higher operads in Batanin's sense, which in fact is a coendomorphism $omega$-operads. We have in mind coglobular object of higher operads which algebras are kind of higher transformations. It follows that this natural $omeg...
متن کاملAddendum to: "Infinite-dimensional versions of the primary, cyclic and Jordan decompositions", by M. Radjabalipour
In his paper mentioned in the title, which appears in the same issue of this journal, Mehdi Radjabalipour derives the cyclic decomposition of an algebraic linear transformation. A more general structure theory for linear transformations appears in Irving Kaplansky's lovely 1954 book on infinite abelian groups. We present a translation of Kaplansky's results for abelian groups into the terminolo...
متن کاملA Diffusion Equation with Exponential Nonlinearity Recant Developments
The purpose of this paper is to analyze in detail a special nonlinear partial differential equation (nPDE) of the second order which is important in physical, chemical and technical applications. The present nPDE describes nonlinear diffusion and is of interest in several parts of physics, chemistry and engineering problems alike. Since nature is not linear intrinsically the nonlinear case is t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 136 شماره
صفحات -
تاریخ انتشار 1994